Klaus Ambos-Spies (auth.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (13)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)

Рік:

1984

Мова:

english

Файл:

PDF, 5.49 MB

0 / 0

english, 1984

2

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), K. Mehlhorn (eds.)

Рік:

1985

Мова:

english

Файл:

DJVU, 3.05 MB

0 / 0

english, 1985

3

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

Рік:

1985

Мова:

english

Файл:

PDF, 15.78 MB

0 / 0

english, 1985

4

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Ulrike Brandt (auth.), Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 5.84 MB

0 / 0

english, 2013

5

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Steven Homer, Dongping Yang (auth.), Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks (eds.)

Рік:

1990

Мова:

english

Файл:

DJVU, 3.15 MB

0 / 0

english, 1990

6

Computation Theory and Logic

Computation Theory and Logic

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger (eds.)

Рік:

1987

Мова:

english

Файл:

DJVU, 4.50 MB

0 / 0

english, 1987

7

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

Рік:

1985

Мова:

english

Файл:

PDF, 4.81 MB

0 / 0

english, 1985

8

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 6.42 MB

0 / 0

english, 2009

9

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), E. Börger, G. Hasenjaeger, D. Rödding (eds.)

Рік:

1984

Мова:

english

Файл:

DJVU, 3.29 MB

0 / 0

english, 1984

10

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Рік:

1988

Мова:

english

Файл:

DJVU, 3.20 MB

0 / 0

english, 1988

11

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Рік:

1990

Мова:

english

Файл:

DJVU, 4.21 MB

0 / 0

english, 1990

12

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 6.49 MB

0 / 0

english, 2009

13

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Рік:

1989

Мова:

english

Файл:

DJVU, 2.87 MB

0 / 0

english, 1989